Graphical Development of Consistent System Specifications
نویسندگان
چکیده
While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application if put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information contents and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, "safe" development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.
منابع مشابه
Automatic Model Driven Animation of SCR Specifications
This paper introduces automatic model driven animation, a novel approach to validate requirements specifications. This approach, here applied to SCR specifications, is based on graphical animation. Automatic model driven animation consists in automatically deriving scenarios from requirements specifications; these scenarios are used to animate critical system behaviors through a graphical inter...
متن کاملIntegrated Development of Embedded Systems with AutoFOCUS∗
This article presents AutoFOCUS, a tool prototype for formally based development of distributed, embedded systems. AutoFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify different views as well as different levels of abstraction of a system. To avoid ill-defined specifications, consistency conditions on these system descri...
متن کاملTool Supported Specification and Simulation of Distributed Systems
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid illdefined specifications, consistency conditions on these system descr...
متن کاملConsistency Checking of RM-ODP Specifications
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking of RM-ODP specifications. This tool is a category theory based consistency checker for formal specifications in a variety of languages, including both graphical and non-graphical modeling languages. Because RM-ODP suppo...
متن کاملTowards Service-Based Systems Engineering: Formalizing and μ-Checking Service Descriptions
Using graphical description techniques for the modeling of distributed reactive systems is especially useful in the early phases like requirements engineering. There, often a trial-and-error approach is applied to develop a first system specification. Thus, even there a precise meaning of those description techniques is necessary to check for consistency and completeness of a service-oriented d...
متن کامل